(setf *evidence* 
'(	(bleeding soldier1 left-leg)
	(mine mine1)
	(explodes mine1)
	(body-part left-leg soldier1)
	))
 
 
(setq *rules* '(

	(=> (and 	(bleeding ?Person ?Location)
				(shrapnel-wound ?Person ?Location))
	 
		(bleeding-with-shrapnel-wound ?Person ?Location))

	(=> (and 	(bleeding ?Person ?Location)
				(bullet-wound ?Person ?Location))
	 
		(bleeding-with-bullet-wound ?Person ?Location))

		(=> (and (flying ?Obj)
			 (explodes ?X)
			 (mine ?X)
			 (shrapnel ?Obj))

		(exploding-mine-shrapnel ?Obj ?X))

	(=> (and (shrapnel-wound ?Person ?Location)
			 (shrapnel ?Obj)
			 (flying ?Obj)
			 (hit ?Obj ?Person ?Location)
			 (person ?Person)
			 (body-part ?Location ?Person))

		(person-hit-by-shrapnel ?Person ?Obj ?Location))

	(=> (and (bullet-wound ?Person ?Location)
			 (shot ?Person ?Location)
			 (body-part ?Location ?Person))

		(person-hit-by-bullet ?Person ?Obj ?Location))
	
))

(setf *inferred*

'((shrapnel gensym1)
  (hit gensym1 soldier1 left-leg)
  (bleeding-with-shrapnel-wound soldier1 left-leg)))
